Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
نویسندگان
چکیده
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy provides some useful extensions: default values to represent missing information, and typed terms to intuitively restrict predicate domains. Together, they allow the system to give constructive answers in addition to truth values. RFuzzy does not confine to a particular Fuzzy Logic, but aims at being as general as possible by using the notion of aggregation operators. Keywords— Operational Semantics, Logic Programming Application
منابع مشابه
Multi-adjoint Fuzzy Logic Programming with Defaults and Constructive Answers
In this paper we present the semantics of RFuzzy, a fuzzy Logic Programming framework that represents truth values using real numbers from the unit interval. RFuzzy provides some useful extensions: default values to represent missing information, and typed arguments to intuitively restrict predicate domains. Together, they allow the system to provide constructive answers when querying for indiv...
متن کاملSemantics of structured normal logic programs
In this paper we provide semantics for normal logic programs enriched with structuring mechanisms and scoping rules. Specifically, we consider constructive negation and expressions of the form Q⊃G in goals, where Q is a program unit, G is a goal and ⊃ stands for the so-called embedded implication. Allowing the use of these expressions can be seen as adding block structuring to logic programs. I...
متن کاملSome contributions to the semantics of normal logic programs
In this dissertation we study different problems that arise when providing semantics to normal logic programs. On one hand, since constructive negation can be naturally formulated in terms of constraint logic programming, we deal with the class of constraint normal logic programs. Indeed, we propose a new operational semantics for normal logic programs, called BCN (Basic Constructive Negation),...
متن کاملConstructive negation without subsidiary trees
In this paper we propose a new operational semantics, called BCN, which is sound and complete with respect to Clark-Kunen's completion for the unrestricted class of Normal Logic Programs. BCN is based on constructive negation and can be seen as an operational semantics for the class of Normal Constraint Logic Programs (NCLP) over the Herbrand universe. The main features of BCN making it a usefu...
متن کاملClassical Logic , Computationally
The meaning of a proposition in classical logic is ordinarily given denotationally by saying that a proposition stands for either > or ⊥. The logical connectives are defined by truth tables displaying the graph of their associated functions on truth values. The denotational semantics of classical logic emphasizes the “absolute” truth or falsehood of a proposition, independently of how we, as hu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009